Preserving Consistency Across Abstraction Mappings
نویسنده
چکیده
An abstraction mapping over clausal form theories in first-order predicate calculus is presented that involves the renaming of predicate symbols. This renaming is not 1-1, in the sense that several predicate symbols Ri,.. . , Rn from the original theory are all replaced by a single symbol R in the abstract theory. In order to preserve consistency, however, the clauses that distinguish the Rj's must be discarded in the abstract theory. This leads to a simple semantics; the union of the extensions of each of the Ri's in any model of the original theory forms the extension of R in a model of the abstract theory.
منابع مشابه
Towards Mappings and Models Transformations for Consistency of Plastic User Interfaces
Developing many variants of a same User Interface (UI) on different platforms is costly, may result in inconsistent behavior and does not address the problem of the variability of the context of use in ubiquitous computing. As a result, a new property has been introduced in Human-Computer Interaction (HCI): the plasticity property. In HCI, plasticity refers to the ability of a UI to withstand v...
متن کاملSpeciication, Abstraction and Veriication in a Concurrent Object-oriented Language 1
We use Maude as our speciication language and the modal-calculus as our logic. We apply to speciications in Maude a framework of abstraction and veriication based on property-preserving mappings between transition systems. Firstly, we demonstrate how to employ abstraction in veriication of object-oriented speciications of distributed systems. Secondly, we use this framework to nd classes of pro...
متن کاملConformal mappings preserving the Einstein tensor of Weyl manifolds
In this paper, we obtain a necessary and sufficient condition for a conformal mapping between two Weyl manifolds to preserve Einstein tensor. Then we prove that some basic curvature tensors of $W_n$ are preserved by such a conformal mapping if and only if the covector field of the mapping is locally a gradient. Also, we obtained the relation between the scalar curvatures of the Weyl manifolds r...
متن کاملCommon fixed point results for graph preserving mappings in parametric $N_b$-metric spaces
In this paper, we discuss the existence and uniqueness of points of coincidence and common fixed points for a pair of graph preserving mappings in parametric $N_b$-metric spaces. As some consequences of this study, we obtain several important results in parametric $b$-metric spaces, parametric $S$-metric spaces and parametric $A$-metric spaces. Finally, we provide some illustrative examples to ...
متن کاملConsistency in multi-viewpoint architectural design
This thesis presents a framework that aids in preserving consistency in multi-viewpoint designs. In a multi-viewpoint design each stakeholder constructs his own design part. We call each stakeholder’s design part the view of that stakeholder. To construct his view, a stakeholder has a viewpoint. This viewpoint defines the design concepts, the notation and the tool support that the stakeholder u...
متن کامل